9709 P3 - 1.3 Modulus Inequalities